Structuring logic programs: a modal approach
نویسندگان
چکیده
منابع مشابه
On Structuring Contextual Logic Programs
Standardization for Prolog came during the 1990’s, initially and deliberately leaving out one aspect which is essential for real world application development: the modularity mechanism. This situation has in the meantime been remedied in the current ISO proposal for modules in Prolog. In this article we build on our previous work on Contextual Logic Programming (CxLP) and introduce mechanisms w...
متن کاملExtensions: A Technique for Structuring Functional-Logic Programs
Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming technique that constitutes an alternative to monads in several situations. Extensions permit the definition of easily reusable functions in the same way as monads, but are based on simpler concepts taken from logic programming,...
متن کاملKnowledge Assessment: A Modal Logic Approach
The possible worlds semantics is a fruitful approach used in Artificial Intelligence (AI) for both modelling as well as reasoning about knowledge in agent systems via modal logics. In this work our main idea is not to model/reason about knowledge but to provide a theoretical framework for knowledge assessment (KA) with the help of Monatague-Scott (MS) semantics of modal logic. In KA questions a...
متن کاملKnowledge Assesment: A Modal Logic Approach
The possible worlds semantics is a fruitful approach used in Artificial Intelligence (AI) for both modelling as well as reasoning about knowledge in agent systems via modal logics. In this work our main idea is not to model/reason about knowledge but to provide a theoretical framework for knowledge assessment (KA) with the help ofMonatagueScott (MS) semantics of modal logic. In KA questions ask...
متن کاملSemi-structured Information: a Modal Logic Approach
This paper has been inspired by 5] where the notion of a database scheme was generalised to deal with arbitrary collections of data. I propose a diierent way of describing the format of such collections of data which uses extended modal logic and compare the results to the results of 5]. In some cases an improvement in complexity and expressive power can be achieved by using the modal logic app...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 1994
ISSN: 0743-1066
DOI: 10.1016/0743-1066(94)90001-9